Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
51	The NAP (N-Dimensional Array Processor) Extension to Tcl Harvey Davies CSIRO Atmospheric Research Private Bag Number 1, Aspendale Victoria 3195, Australia Add to Reading List Source URL: www.tcl.tk Language: English - Date: 2010-07-07 17:54:57 Abstract algebra Vectors Vector calculus Array programming languages Vector space Array data structure Array data type Matrix Array programming Algebra Mathematics Linear algebra
52	ASN1C Mapping of ASN.1 Syntax to XML Schema Objective Systems, Inc., Last Update: July 2005 Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2005-07-26 00:00:00 XML Abstract Syntax Notation One XML Schema Enumerated type Data type Encoding Control Notation Basic Encoding Rules Computing OSI protocols Web standards
53	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
54	ISO/IEC JTC1/SC22/WG5 N1824 Coarrays in the next Fortran Standard John Reid, JKR Associates, UK April 21, 2010 Abstract Add to Reading List Source URL: www.fortranplus.co.uk Language: English - Date: 2015-05-29 16:20:11 Data types Procedural programming languages Primitive types Array programming languages Fortran Cross-platform software C Pointer Array data type Computing Software engineering Computer programming
55	Using ASN.1 to Describe 3GPP Layer 3 Message Formats Objective Systems, Inc., July 2012 Overview Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2012-12-07 00:00:00 Notation Abstract Syntax Notation One Information Object Class CSN.1 Octet Bit array Bit field Enumerated type Integer Computing Data types Software engineering
56	ISO/IEC JTC1/SC22/WG5 N1891 The new features of Fortran 2008 John Reid, JKR Associates, UK March 13, 2014 Abstract Add to Reading List Source URL: www.fortranplus.co.uk Language: English - Date: 2015-05-25 06:06:32 Data types Procedural programming languages Primitive types Fortran Cross-platform software Pointer C Array data type Module Computing Software engineering Computer programming
57	Property Inference for Maple: An Application of Abstract Interpretation Jacques Carette1 Stephen Forrest1 Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2007-06-24 16:58:38 Data types Computer programming Object-oriented programming Functional programming Polymorphism Type system Variable Type class C Software engineering Computing Type theory
58	Shape Cliques Robert Bernecky October 18, 2007 Abstract Add to Reading List Source URL: www.snakeisland.com Language: English - Date: 2008-07-16 15:01:08 Array programming languages Procedural programming languages APL programming language family Functional languages Arrays Array data type Array data structure Compiler optimization Array Computing Software engineering Computer programming
59	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart & Gr´egoire Henry June 7, 2012 Abstract We present two ongoing related experiments in generic programming Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:12 Type theory Data types Functional programming Functional languages Type class Generic programming OCaml Constructor Main function Software engineering Computing Computer programming
60	Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:54:08 Software engineering Theoretical computer science Object-oriented programming Polymorphism Subtype polymorphism Type system Type theory Data types Programming language theory